New Results on Local Inference Relations
نویسندگان
چکیده
We consider the concept of a local set of inference rules. A local rule set can be automatically transformed into a rule set for which bottom up evaluation terminates in polynomial time. The local rule set transformation gives polynomial time evaluation strategies for a large variety of rule sets that can not be given terminating evaluation strategies by any other known automatic technique. This paper discusses three new results. First, it is shown that every polynomial time predicate can be deened by an (unstratiied) local rule set. Second, a new machine recognizable sub-class of the local rule sets is identiied. Finally we show that locality, as a property of rule sets, is undecidable in general.
منابع مشابه
City Nightlife from Islamic viewpoints: Inference of native pattern of 24-Hour city and city nightlife in accordance with the Islamic lifestyle.
The realization of the concept of 24-hour city and urban nightlife has been controversial from the very beginning, even in the original source, the western cities. Adherents of the 24-hour city believe that the nightlife increases economic prosperity, presence of urban spaces, security enhancement, space branding, and etc. In contrast, opponents do not recommend the nightlife in cities for reas...
متن کاملEstablishing Propositional Relations in Reading Stories
This study examined the establishment of coherence relations by Persian EFL learners in their reading of stories. 201 undergraduate EFL learners read narrative passages and selected appropriate coherence elements of different types necessary for the proper construction of meaning. The results demonstrated a consistent pattern of a text-specific hierarchy for the comprehension of conjunctive rel...
متن کاملTaxonomic and Ecological Relations in Open-ended Induction
Recent research suggests that inductive inference may be based on salient relations between premise and/or conclusion categories (Medin, Coley, Storms and Hayes, 2003). The types of relations deemed relevant may be influenced by experience (e.g. López, Atran, Coley, Medin and Smith, 1997; Shafto & Coley, 2003). Novices in a given domain have been shown to rely primarily on taxonomic relationshi...
متن کاملLearning and Inference in Entity and Relation Identification
In this study, I examine several different approaches to identifying entities and relations in sentences. I compare three different strategies to learn entities and relations. The first uses just local classifiers, the second uses local classifiers with integer linear programming (ILP) inference, and the third uses inference based training (IBT) and evaluates using ILP inference. My experiments...
متن کاملThe new empirical formula to estimate the uniaxial compressive strength of limestone; south west of Tehran-Iran, as a case study
In many rock engineering projects, accurate identification of rock strength properties is very important. Uniaxial compressive strength is one of the most important features to describe the resistive behavior of rocks which is used as an important parameter in the design of structures especially underground openings. Determination of this parameter using direct methods, including uniaxial compr...
متن کامل